prolog in artificial intelligence